perm filename LETTER.FH[P,JRA] blob
sn#154730 filedate 1975-04-14 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 \\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00004 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S Telephone:
\←S\→.415-497-4971
\F1\CAPRIL 14, 1975
Dr. Fred Hansen
Computer Science Dept
University of Illinois at Urbana-Champaign
Urbana, Illinois 61801
Dear Dr. Hansen:
\J
I don't think we ever met, but we were certainly in close proximity
several years ago. I was part of the old THOR team and have been
at the AI Lab off and on since then. The reason for this letter is
your thesis. I am getting interested in on-line program construction
using displays. It seems a viable approach to reliability; I have
some ideas on relating semantics to the construction process.
All I have seen is ANL-7818. I am wondering if you have pursued
EMILY (tsk,tsk), and what reflections you might have on your
work in the intervening four years?
\.
\←L\→S\←R\-L\/'2;\+L\→L
Yours sincerely,
John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Lab
\←S\→L